Integration in the UniForM - Workbench ?
نویسندگان
چکیده
The UniForM-Workbench is an open tool integration environment providing type safe communication, a toolkit for graphical user interfaces, version management and connguration management. It is speciically geared towards formal methods and based on the encoding of formal methods into the theorem prover Isabelle. The UniForM-Workbench thus tackles both the technical and the semantical problems arising when integrating formal method tools.
منابع مشابه
The UniForM Workbench, a Universal Development Environment for Formal Methods
The UniForM Workbench supports combination of Formal Methods (on a solid logical foundation), provides tools for the development of hybrid, real-time or reactive systems, transformation, verification, validation and testing. Moreover, it comprises a universal framework for the integration of methods and tools in a common development environment. Several industrial case studies are described.
متن کاملHOL-Z in the UniForM-Wokbench - A Case Study in Tool Integration for Z
The UniForM-Workbench is an open tool-integration environment providing type-safe communication, a toolkit for graphical user-interfaces, version management and configuration management. We demonstrate how to integrate several tools for the Z specification language into the workbench, obtaining an instantiation of the workbench suited as a software development environment for Z. In the core of ...
متن کاملUsing Concurrent Haskell to Develop
The UniForM WorkBench is an integration framework with Haskell features in support of data, control and presentation integration. Using the Work-Bench, it is possible to implement the entire Software Development Environment for Haskell-using Haskell itself. The paper presents the higher order approach to event handling used within the WorkBench, as well as the persistent repository with version...
متن کاملHOL - Z in the UniForM - Workbench - a Case Study in Tool Integration for Z
The UniForM-Workbench is an open tool-integration environment providing type-safe communication, a toolkit for graphical user-interfaces, version management and connguration management. We demonstrate how to integrate several tools for the Z speciication language into the workbench, obtaining an instantiation of the workbench suited as a software development environment for Z. In the core of th...
متن کاملThe UniForM WorkBench - A Higher Order Tool Integration Framework
The UniForM Workbench is an open ended tool integration framework for developing (formal) Software Development Environments (SDE) from the basis of prefabricated oo-the-shelf development tools. The integration framework provides support for data, control and presentation integration as well as utilities for wrapping Haskell interfaces around existing development tools. Entire SDE's are then glu...
متن کامل